An Equational Theory for Transa tions ?
نویسنده
چکیده
منابع مشابه
Process Migration and Transactions Using a Novel Intermediate Language
Pro ess migration and atomi transa tions are essential tools for onstru ting fault-tolerant distributed systems. We present a new system that in ludes a typed intermediate language and runtime implementation designed to support these servi es. The language is type-safe and general enough to support front-ends for both type-safe and unsafe languages. We in lude ben hmarks for programs written in...
متن کاملFUZZY EQUATIONAL CLASSES ARE FUZZY VARIETIES
In the framework of fuzzy algebras with fuzzy equalities and acomplete lattice as a structure of membership values, we investigate fuzzyequational classes. They consist of special fuzzy algebras fullling the samefuzzy identities, dened with respect to fuzzy equalities. We introduce basicnotions and the corresponding operators of universal algebra: construction offuzzy subalgebras, homomorphisms...
متن کاملAn Equational Metalogic for Monadic Equational Systems
The paper presents algebraic and logical developments. From the algebraic viewpoint, we introduce Monadic Equational Systems as an abstract enriched notion of equational presentation. From the logical viewpoint, we provide Equational Metalogic as a general formal deductive system for the derivability of equational consequences. Relating the two, a canonical model theory for Monadic Equational S...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003